Union and actualization of module specifications: Some compatibility results
نویسندگان
چکیده
منابع مشابه
The compatibility of anxiety and actualization.
Traditional theories of personality view the healthy individual as anxiety-free. Some recent experimental research also seems to point in that direction. Rollinsf") found a negative correlation between the level of actualization and that of anxiety, and these results later were corroborated by Sedekel<"^ On the other hand, a number of more recent theories consider the possible positive aspect o...
متن کاملCompatibility of self-actualization and anxiety.
Dabrowski's (1972) theory of positive disintegration argues that anxiety appears to be the dynamic of self-actualization. A study to assess this hypothesis (Wilkins, Hjelle, & Thompson, 1977) reported that self-actualization was incompatible with chronic, debilitating or neurotic anxiety. The current study further examined the empirical and conceptual relation between anxiety and self-actualiza...
متن کاملsome properties of fuzzy hilbert spaces and norm of operators
in this thesis, at first we investigate the bounded inverse theorem on fuzzy normed linear spaces and study the set of all compact operators on these spaces. then we introduce the notions of fuzzy boundedness and investigate a new norm operators and the relationship between continuity and boundedness. and, we show that the space of all fuzzy bounded operators is complete. finally, we define...
15 صفحه اولsynthesis and characterization of some macrocyclic schiff bases
ماکروسیکلهای شیف باز از اهمیت زیادی در شیمی آلی و دارویی برخوردار می باشند. این ماکروسیکلها با دارابودن گروه های مناسب در مکانهای مناسب می توانند فلزاتی مثل مس، نیکل و ... را در حفره های خود به دام انداخته، کمپلکسهای پایدار تولید نمایند. در این پایان نامه ابتدا یک دی آلدئید آروماتیک از گلیسیرین تهیه می شود و در مرحله بعدی واکنش با دی آمینهای آروماتیک و یا آلیفاتیک در رقتهای بسیار زیاد منجر به ت...
15 صفحه اولPartial Composition and Recursion of Module Specifications
The basic interconnections of module specifications (union, composition and actualization) were studied in earlier papers. Here we introduce partial composition and partial actualization of module specifications, describe the connection with their "total" counterpart and prove that the result of successive partial compositions (or actualizations) is independent of the order. We also introduce a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1987
ISSN: 0022-0000
DOI: 10.1016/0022-0000(87)90037-7